Concrete data structures as games

نویسنده

  • Andrea Schalk
چکیده

A result by Curien establishes that filiform concrete data structures can be viewed as games. We extend the idea to cover all stable concrete data structures. This necessitates a theory of games with an equivalence relation on positions. We present a faithful functor from the category of concrete data structures to this new category of games, allowing a game-like reading of the former. It is possible to restrict to a cartesian closed subcategory of these games, where the function space does not decompose and the product is given by the usual tensor product construction. There is a close connection between these games and graph games.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Time-Dependent Structural Behavior of Repaired Corroded RC Columns Located in a Marine Site

The chloride corrosion of reinforcing steel in reinforced concrete (RC) structures is a significant reason for premature deterioration and failure of RC structures in aggressive environments such as Persian Gulf region. This is one of the most important sources of engineering and economic problems in developed countries. So, the repair and maintenance of RC structures exposed to corrosive envir...

متن کامل

Experimental Investigation of Corrosion Cracking in Reinforced Concrete Beams Containing Nano Wollastonite

Cracking of the concrete cover due to corrosion is defined as the serviceability limit state of reinforced concrete structures. This study evaluated the influence of a mineral admixture i.e. nano wollastonite on corrosion performance and serviceability of reinforced concrete structures by performing an accelerated corrosion test on ten reinforced concrete beams under a sustained load. To do so,...

متن کامل

Evaluation of Seismic Response of Concrete Structures Reinforced by Shape Memory Alloys (Technical Note)

Shape memory alloys (SMAs) are unique smart materials that have many advantages, such as ability to resist large strains without leaving residual strains and ability to recover original form. However, the high costs of SMAs have limited their usage. This paper evaluates the behavior of concrete structures equipped with SMAs in an optimal manner as they are being used along the plastic hinge of ...

متن کامل

ارزیابی مدل های تخمین عمر مفید خدمت رسانی برای سازه های بتن مسلح در محیط دریایی خلیج فارس

Chloride ion ingress is one of the major problems that affect the durability of reinforced concrete structures such as bridge decks, concrete pavements, and other structures exposed to harsh saline environments. Therefore, durability based design of concrete structures in marine areas has gained great significance in recent decades and various mathematical models for estimating the service life...

متن کامل

Optimization of concrete structure mixture plan in marine environment using genetic algorithm

Today due to increasing development and importance of petroleum activities andmarine transport as well as due to the mining of seabed, building activities such as construction of docks, platforms and structures as those in coastal areas and oceans has increased significantly. Concrete strength as one of the most important necessary parameters for designing, depends on many factors such as mixtu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Electr. Notes Theor. Comput. Sci.

دوره 122  شماره 

صفحات  -

تاریخ انتشار 2005